Henselian Implies Large
نویسنده
چکیده
In this note we show that the quotient field of a domain which is Henselian with respect to a non-trivial ideal is a large field, and give some applications of this fact, using a specialization theorem for ramified covers of the line over (generalized) Krull fields.
منابع مشابه
On Logical Characterization of Henselianity
We give some sufficient conditions under which any valued field that admits quantifier elimination in the Macintyre language is henselian. Then, without extra assumptions, we prove that if a valued field of characteristic (0, 0) has a Z-group as its value group and admits quantifier elimination in the main sort of the Denef-Pas style language LRRP then it is henselian. In fact the proof of this...
متن کاملHenselian Local Rings: Around a Work in Progress
An introduction to the theme of local rings and Henselian local rings is given through numerous examples. We outline an elementary and effective construction of the Henselization of a local ring and an effective proof of about a classical result in Henselian local rings. This paper anounces a joint work of the three authors.
متن کاملSpecialisation and good reduction for algebras with involution
Given a place between two fields, the isotropy behaviour of Azumaya algebras with involution over the valuation ring corresponding to the place is studied. In particular, it is shown that isotropic right ideals specialise in an appropriate way. The treatment is characteristic free, and it provides a natural analogue to the existing specialisation theory for non-singular symmetric bilinear forms...
متن کاملEmbedding Henselian fields into power series
Every Henselian field of residue characteristic 0 admits a truncation-closed embedding in a field of generalised power series (possibly, with a factor set). As corollaries we obtain the Ax-Kochen-Ershov theorem and an extension of Mourgues and Ressayre’s theorem: every ordered field which is Henselian in its natural valuation has an integer part. We also give some results for the mixed and the ...
متن کاملExistential ∅-Definability of Henselian Valuation Rings
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series F [[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability results for henselian valued fields with finite or pseudo-algebraically closed residue fields. §
متن کامل